Weiglhofer, Martin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2010 10th International Conference on Quality Software (QSIC) - Zhangjiajie, China (2010.07.14-2010.07.15)] 2010 10th International Conference on Quality Software - Automated Conformance Verification of Hybrid Systems

Brandl, Harald, Weiglhofer, Martin, Aichernig, Bernhard K.

Year:

2010

Language:

english

File:

PDF, 423 KB

english, 2010

2

Improving Fault-based Conformance Testing

Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 441 KB

english, 2008

3

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving

Jöbstl, Elisabeth, Weiglhofer, Martin, Aichernig, Bernhard K., Wotawa, Franz

Year:

2010

Language:

english

File:

PDF, 477 KB

english, 2010

4

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods

Aichernig, Bernhard K., Peischl, Bernhard, Weiglhofer, Martin, Wotawa, Franz

Year:

2007

Language:

english

File:

PDF, 456 KB

english, 2007

5

SPIE Proceedings [SPIE International Symposium on Optical Science and Technology - Seattle, WA (Sunday 7 July 2002)] Complex Mediums III: Beyond Linear Isotropic Dielectrics - On mediums with negative phase velocity: a brief overview

Lakhtakia, Akhlesh, McCall, Martin W., Weiglhofer, Werner S., Gerardin, Jaline, Wang, Jianwei, Lakhtakia, Akhlesh, Dewar, Graeme, McCall, Martin W.

Year:

2002

Language:

english

File:

PDF, 128 KB

english, 2002

6

[IEEE Design, Automation & Test in Europe Conference - Nice, France (2007.04.16-2007.04.20)] 2007 Design, Automation & Test in Europe Conference & Exhibition - Automatic Hardware Synthesis from Specifications: A Case Study

Bloem, Roderick, Galler, Stefan, Jobstmann, Barbara, Piterman, Nir, Pnueli, Amir, Weiglhofer, Martin

Year:

2007

Language:

english

File:

PDF, 110 KB

english, 2007

7

[IEEE 2011 11th International Conference on Quality Software (QSIC) - Madrid, Spain (2011.07.13-2011.07.14)] 2011 11th International Conference on Quality Software - The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking

Galler, Stefan J., Quaritsch, Thomas, Weiglhofer, Martin, Wotawa, Franz

Year:

2011

Language:

english

File:

PDF, 341 KB

english, 2011

8

[IEEE 2008 Eighth International Conference on Quality Software (QSIC) - Oxford, United Kingdom (2008.08.12-2008.08.13)] 2008 The Eighth International Conference on Quality Software - Coverage Based Testing with Test Purposes

Fraser, Gordon, Weiglhofer, Martin, Wotawa, Franz

Year:

2008

Language:

english

File:

PDF, 303 KB

english, 2008

9

[IEEE 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) - Pisa, Italy (2010.09.13-2010.09.18)] 2010 8th IEEE International Conference on Software Engineering and Formal Methods - Synthesize It: From Design by Contract to Meaningful Test Input Data

Galler, Stefan J., Weiglhofer, Martin, Wotawa, Franz

Year:

2010

Language:

english

File:

PDF, 316 KB

english, 2010

10

Brief Overview of Recent Developments on Negative Phase–Velocity Mediums (alias Left–Handed Materials)

Akhlesh Lakhtakia, Martin W. McCall, Werner S. Weiglhofer

Journal:

AEU - International Journal of Electronics and Communications

Year:

2002

Language:

english

File:

PDF, 69 KB

english, 2002

11

[ACM Press the 3rd international workshop - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 - Test purpose generation in an industrial application

Aichernig, Bernhard K., Weiglhofer, Martin, Peischl, Bernhard, Wotawa, Franz

Year:

2007

Language:

english

File:

PDF, 558 KB

english, 2007

12

Optical switching in nonlinear chiral distributed Bragg reflectors with defect layers: comment

Weiglhofer, Werner S., Lakhtakia, Akhlesh, McCall, Martin W.

Journal:

Journal of the Optical Society of America B

Year:

2002

Language:

english

File:

PDF, 95 KB

english, 2002

13

SPIE Proceedings [SPIE International Symposium on Optical Science and Technology - San Diego, CA (Sunday 29 July 2001)] Complex Mediums II: Beyond Linear Isotropic Dielectrics - Sculptured-thin-film optoelectronics

McCall, Martin W., Lakhtakia, Akhlesh, Weiglhofer, Werner S., Hodgkinson, Ian J.

Year:

2001

Language:

english

File:

PDF, 268 KB

english, 2001

14

[IEEE 2009 9th International Conference on Quality Software (QSIC) - Jeju, Korea (South) (2009.08.24-2009.08.25)] 2009 Ninth International Conference on Quality Software - Improving Coverage Based Test Purposes

Weiglhofer, Martin, Wotawa, Franz

Year:

2009

Language:

english

File:

PDF, 344 KB

english, 2009

15

SPIE Proceedings [SPIE International Symposium on Optical Science and Technology - Seattle, WA (Sunday 7 July 2002)] Complex Mediums III: Beyond Linear Isotropic Dielectrics - Constitutive relations

Weiglhofer, Werner S., Lakhtakia, Akhlesh, Dewar, Graeme, McCall, Martin W.

Year:

2002

Language:

english

File:

PDF, 177 KB

english, 2002

16

SPIE Proceedings [SPIE International Symposium on Optical Science and Technology - Seattle, WA (Sunday 7 July 2002)] Complex Mediums III: Beyond Linear Isotropic Dielectrics - Trilocally approximated strong-permittivity-fluctuation theory for nonlinear composite mediums

MacKay, Tom G., Lakhtakia, Akhlesh, Weiglhofer, Werner S., Lakhtakia, Akhlesh, Dewar, Graeme, McCall, Martin W.

Year:

2002

Language:

english

File:

PDF, 403 KB

english, 2002

17

Using coverage to automate and improve test purpose based testing

Martin Weiglhofer, Gordon Fraser, Franz Wotawa

Journal:

Information and Software Technology

Year:

2009

Language:

english

File:

PDF, 1.24 MB

english, 2009

18

Identification of the Bradyrhizobium japonicum degP gene as part of an operon containing small heat-shock protein genes

F. Narberhaus, Wolfgang Weiglhofer, Hans-Martin Fischer, Hauke Hennecke

Journal:

Archives of Microbiology

Year:

1998

Language:

english

File:

PDF, 227 KB

english, 1998

19

Specify, Compile, Run: Hardware from PSL

Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 338 KB

english, 2007

20

The negative index of refraction demystified

McCall, Martin W, Lakhtakia, Akhlesh, Weiglhofer, Werner S

Journal:

European Journal of Physics

Year:

2002

Language:

english

File:

PDF, 169 KB

english, 2002

21

High hydrostatic pressure influences antinutritional factors and in vitro protein digestibility of split peas and whole white beans

Gertrud Linsberger-Martin, Karin Weiglhofer, Thao Phan Thi Phuong, Emmerich Berghofer

Journal:

Lebensmittel-Wissenschaft und-Technologie / Food Science and Technology

Year:

2013

Language:

english

File:

PDF, 162 KB

english, 2013

22

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - Using Spectrum-Based Fault Localization for Test Case Grouping

Weiglhofer, Martin, Fraser, Gordon, Wotawa, Franz

Year:

2009

Language:

english

File:

PDF, 492 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски